public class Lottery2 {
    public static void main(String[] args) {
        String name1 = Lottery2.lotto();
        String name2 = Lottery2.lotto();
        while (name1 == name2){
            name2 = Lottery2.lotto();
        }
            System.out.println(name1);
            System.out.println(name2);
    }
    public static String lotto(){
        String[] names = {"田书函", "房永新", "于群", "关洪宇", "王文斌", "曹谦冲", "苍强", "崔超", "付潇镇", "潘凌睿", "李馨悦", "武仲英", "孙天秀"};
        int num = (int) (Math.random() * 100);
        while (num > names.length - 1) {
            if (num <= names.length - 1) {
                break;
            }
            num = (int) (Math.random() * 100);
        }
        return names[num];
    }
}
